home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
- <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
-
- <!DOCTYPE dialog SYSTEM "chrome://switchproxy/locale/locale.dtd">
-
- <dialog buttons="accept"
- id="switchproxyCookieDialog"
- ondialogaccept="switchproxy_managerClose(); switchproxy_openerFocus(); return true;"
- ondialogcancel="switchproxy_openerFocus(); return true;"
- onload="switchproxy_initProxy();"
- title="&common.manage.label;" persist="height, width"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <script type="application/x-javascript" src="chrome://switchproxy/content/globals.js"></script>
- <script type="application/x-javascript" src="chrome://switchproxy/content/datasource.js"></script>
- <script type="application/x-javascript" src="chrome://switchproxy/content/import_anon.js"></script>
- <script type="application/x-javascript" src="chrome://switchproxy/content/anon.js"></script>
- <script type="application/x-javascript" src="chrome://switchproxy/content/proxy.js"></script>
- <script>
- <![CDATA[
- function switchproxy_managerClose(){
- try{
- var oPrefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefBranch);
- oPrefs.setIntPref("switchproxy.proxy.rdf.lastupdate", (new Date()).getTime());
- } catch(e){ alert(e); }
- }
- ]]>
- </script>
-
- <hbox align="top" flex="1" style="overflow: auto;">
- <listbox id="manage-proxy-list" flex="2" rows="10"></listbox>
- <vbox>
- <button id="new-button" label="&common.add.label;" onclick="switchproxy_editProxyDialog(true)" image="chrome://switchproxy/content/icons/new.png" />
- <button id="edit-button" label="&common.edit.label;" onclick="switchproxy_editProxyDialog(false)" image="chrome://switchproxy/content/icons/pencil.png" />
- <button id="remove-button" label="&common.remove.label;" onclick="switchproxy_removeProxy(false)" image="chrome://switchproxy/content/icons/cross.png" />
- </vbox>
- </hbox>
- </dialog>